home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / gnu / smaltalk.lha / smalltalk-1.1.1 / CompiledMethod.st < prev    next >
Text File  |  1991-09-12  |  17KB  |  588 lines
  1. "======================================================================
  2. |
  3. |   CompiledMethod Method Definitions
  4. |
  5.  ======================================================================"
  6.  
  7.  
  8. "======================================================================
  9. |
  10. | Copyright (C) 1990, 1991 Free Software Foundation, Inc.
  11. | Written by Steve Byrne.
  12. |
  13. | This file is part of GNU Smalltalk.
  14. |
  15. | GNU Smalltalk is free software; you can redistribute it and/or modify it
  16. | under the terms of the GNU General Public License as published by the Free
  17. | Software Foundation; either version 1, or (at your option) any later version.
  18. | 
  19. | GNU Smalltalk is distributed in the hope that it will be useful, but WITHOUT
  20. | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
  21. | FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
  22. | details.
  23. | 
  24. | You should have received a copy of the GNU General Public License along with
  25. | GNU Smalltalk; see the file COPYING.  If not, write to the Free Software
  26. | Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  
  27. |
  28.  ======================================================================"
  29.  
  30.  
  31. "
  32. |     Change Log
  33. | ============================================================================
  34. | Author       Date       Change 
  35. | sbyrne     27 Dec 89      Added real print method for compiled methods.
  36. |
  37. | sbyrne      6 Sep 89      Added lots of methods: inspect, =, hash, method
  38. |              cateogry, methodSourceCode, methodSourceString, and
  39. |              some private accessors such as bytecodeAt:.
  40. |
  41. | sbyrne     25 Apr 89      created.
  42. |
  43. "
  44.  
  45. ArrayedCollection variableByteSubclass: #CompiledMethod
  46.           instanceVariableNames: 'descriptor methodHeader'
  47.           classVariableNames: ''
  48.           poolDictionaries: ''
  49.           category: nil.
  50.  
  51. CompiledMethod comment:
  52. 'I represent methods that have been compiled.  I can recompile
  53. methods from their source code, I can invoke Emacs to edit the source code
  54. for one of my instances, and I know how to access components of my
  55. instances.' !
  56.  
  57.  
  58. "Make sure that this symbol is defined, even if it doesn't work just
  59. yet."
  60. Smalltalk at: #Debugger put: nil!
  61.  
  62. !CompiledMethod methodsFor: 'basic'!
  63.  
  64. methodCategory
  65.     ^descriptor category
  66. !
  67.  
  68. methodCategory: aCategory
  69.     ^descriptor category: aCategory
  70. !
  71.  
  72. methodSourceCode
  73.     ^descriptor sourceCode
  74. !
  75.  
  76. methodSourceString
  77.     ^descriptor sourceString
  78. !
  79.  
  80. methodSourceFile
  81.     ^descriptor sourceFile
  82. !
  83.  
  84. methodSourcePos
  85.     ^descriptor sourcePos
  86. !
  87.  
  88. = aMethod
  89.     descriptor = aMethod getDescriptor ifFalse: [ ^false ].
  90.     methodHeader = aMethod getHeader ifFalse: [ ^false ].
  91.     1 to: self numLiterals do:
  92.         [ :i |  (self literalAt: i) = (aMethod literalAt: i)
  93.                 ifFalse: [ ^false ] ].
  94.     1 to: self numBytecodes do:
  95.         [ :i | (self bytecodeAt: i) = (aMethod bytecodeAt: i)
  96.                 ifFalse: [ ^false ] ].
  97.     ^true
  98. !
  99.  
  100. hash
  101.     | hashValue |
  102.     hashValue _ descriptor hash.
  103.     hashValue _ ((hashValue bitShift: 1)
  104.                   bitXor: methodHeader hash)
  105.           bitAnd: 16r1FFFFFFF.
  106.     1 to: self numLiterals do:
  107.         [ :i | hashValue _ ((hashValue bitShift: 1)
  108.                             bitXor: (self literalAt: i) hash)
  109.                      bitAnd: 16r1FFFFFFF ].
  110.     1 to: self numBytecodes do:
  111.         [ :i | hashValue _ ((hashValue bitShift: 1)
  112.                              bitXor: (self bytecodeAt: i) hash)
  113.                      bitAnd: 16r1FFFFFFF ].
  114.     ^hashValue
  115. !!
  116.  
  117.  
  118.  
  119. !CompiledMethod methodsFor: 'method header accessors'!
  120.  
  121. "The structure of a method header is as follows (from mstinterp.h)
  122.  
  123.    3                   2                   1 
  124.  1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
  125. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  126. |1|.|.|.|.|.|flg| prim index    | #args   | #temps  | #literals |
  127. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  128.  
  129. literals 6 0..5
  130. temporarycount 5 6..10
  131. args 5 11..15
  132. primitiveIndex 8 16..23
  133. flags 2 24-25
  134. flags 0 -- use arguments as they are, ignore prim index
  135. flags 1 -- return self
  136. flags 2 -- return instance variable
  137. flags 3 -- call the primitive indexed by primIndex
  138. "
  139.  
  140. flags
  141.     ^(methodHeader bitShift: -24) bitAnd: 16r3
  142. !
  143.  
  144. primitive
  145.     ^(methodHeader bitShift: -16) bitAnd: 16rFF
  146. !
  147.  
  148. numArgs
  149.     | flags |
  150.     flags _ self flags.
  151.     (flags = 2) | (flags = 3)
  152.         ifTrue: [ ^0 ].
  153.     ^(methodHeader bitShift: -11) bitAnd: 16r1F
  154. !
  155.  
  156. numTemps
  157.     self flags = 0
  158.         ifFalse: [ ^0 ].
  159.     ^(methodHeader bitShift: -6) bitAnd: 16r1F
  160. !
  161.  
  162. numLiterals
  163.     self flags = 0
  164.         ifFalse: [ ^0 ].
  165.     ^methodHeader bitAnd: 16r3F
  166. !!
  167.  
  168.  
  169.  
  170. !CompiledMethod methodsFor: 'copying'!
  171.  
  172. shallowCopy
  173.     ^(CompiledMethod newMethod: self basicSize
  174.              header: methodHeader) shallowCopyMethodContents: self
  175. !
  176.  
  177. deepCopy
  178.     ^(CompiledMethod newMethod: self basicSize
  179.              header: methodHeader) deepCopyMethodContents: self
  180. !!
  181.  
  182.  
  183.  
  184. !CompiledMethod methodsFor: 'debugging'!
  185.  
  186. inspect
  187.     | class instVars |
  188.     class _ self class.
  189.     instVars _ class instVarNames.
  190.     'An instance of ' print.
  191.     class printNl.
  192.     1 to: (instVars size - 1) do: "assumes methodHeader is last inst var"
  193.         [ :i | '  ' print.
  194.            (instVars at: i) print.
  195.            ': ' print.
  196.            (self objectAt: i)  printNl ].
  197.     '  Header Flags: ' printNl.
  198.     '    flags: ' print.
  199.     self flags printNl.
  200.     '    primitive index: ' print.
  201.     self primitive printNl.
  202.     '    number of arguments: ' print.
  203.     self numArgs printNl.
  204.     '    number of temporaries: ' print.
  205.     self numTemps printNl.
  206.     '    number of literals: ' print.
  207.     self numLiterals printNl.
  208.     self numLiterals > 0
  209.         ifTrue: [ '  literals: [' printNl.
  210.           1 to: self numLiterals do:
  211.               [ :i | '    ' print.
  212.                  i print.
  213.                  ': ' print.
  214.                  (self literalAt: i) storeNl ].
  215.           '  ]' printNl ]
  216. !!
  217.  
  218.  
  219.  
  220. !CompiledMethod methodsFor: 'debugging'!
  221. breakpointAt: byteIndex
  222.     "self notYetImplemented"
  223.     Debugger recordOldByte: (self bytecodeAt: byteIndex)
  224.          atIndex: byteIndex
  225.          forMethod: self.
  226.     self bytecodeAt: byteIndex put: Debugger debugByte
  227. !
  228.  
  229. breakAtLine: lineNumber
  230.     self notYetImplemented
  231. !
  232.  
  233. removeBreakpointAt: byteIndex
  234.     | oldByte |
  235.     oldByte _ Debugger origByteAt: byteIndex forMethod: self.
  236.     oldByte notNil 
  237.     ifTrue: [ self bytecodeAt: byteIndex put: oldByte ]
  238. !!
  239.  
  240.  
  241.  
  242. !CompiledMethod methodsFor: 'printing'!
  243.  
  244. printOn: aStream
  245.     "### This could be more interesting, such as calling the decompiler, or
  246.      printing out the byte codes, or ... yeah, yeah, that's it, the byte
  247.      codes...also need to decode the header information to display that
  248.      interesting information"
  249.     | primIndex numLits |
  250.     true 
  251.     ifTrue: [ 'a CompiledMethod' printOn: aStream. ]
  252.     ifFalse: 
  253.         [ 'Header Info: ' printOn: aStream.
  254.           (primIndex _ self primitive) > 0 
  255.           ifTrue: [ 'Primitive: ' printOn: aStream ].
  256.           numLits _ self numLiterals.
  257.           ' # Args: ' printOn: aStream.
  258.           (self numArgs) printOn: aStream.
  259.           ' # Temps: ' printOn: aStream.
  260.           (self numTemps) printOn: aStream.
  261.           ' # Literals: ' printOn: aStream.
  262.           numLits printOn: aStream. aStream nl.
  263.           numLits > 0 
  264.           ifTrue: [ 'Literals' printOn: aStream. aStream nl.
  265.                 '--------' printOn: aStream. aStream nl.
  266.                 1 to: numLits do:
  267.                 [ :i | '    [' printOn: aStream.
  268.                        i printOn: aStream.
  269.                        ']: ' printOn: aStream.
  270.                        (self literalAt: i) storeOn: aStream.
  271.                        aStream nl ] ].
  272.           " Emit header info here too "
  273.              'Byte codes' printOn: aStream. aStream nl.
  274.           '----------' printOn: aStream. aStream nl.
  275.           self printByteCodesOn: aStream ]
  276.                          
  277. !
  278.  
  279. storeOn: aStream
  280.     self printOn: aStream
  281. !!
  282.  
  283.  
  284.  
  285. !CompiledMethod methodsFor: 'private'!
  286.  
  287. shallowCopyMethodContents: aMethod 
  288.     "Don't need to copy the method header; it's already done"
  289.     descriptor _ aMethod getDescriptor.
  290.     1 to: aMethod numLiterals do:
  291.         [ :i | self literalAt: i put: (aMethod literalAt: i) ].
  292.     1 to: aMethod numBytecodes do:
  293.         [ :i | self bytecodeAt: i put: (aMethod bytecodeAt: i) ]
  294. !
  295.  
  296. deepCopyMethodContents: aMethod
  297.     "Don't need to copy the method header; it's already done"
  298.     descriptor _ aMethod getDescriptor deepCopy.
  299.     1 to: aMethod numLiterals do:
  300.         [ :i | self literalAt: i put: (aMethod literalAt: i) deepCopy ].
  301.     1 to: aMethod numBytecodes do:
  302.         [ :i | self bytecodeAt: i put: (aMethod bytecodeAt: i) ]
  303. !
  304.  
  305. printByteCodesOn: aStream
  306.     | numBytes i |
  307.     i _ 1.
  308.     numBytes _ self numBytecodes.
  309.     [ i <= numBytes ] whileTrue:
  310.     [ i _ i + (self printByteAt: i on: aStream) ]
  311. !
  312.  
  313.  
  314. printByteAt: anIndex on: aStream
  315.     | byte nextByte skip |
  316.     byte _ self bytecodeAt: anIndex.
  317.     byte == 127 "Debugger debugByte"
  318.     ifTrue: [ byte _ Debugger origByteAt: anIndex forMethod: self ].
  319.     skip _ 1.
  320.     '    [' printOn: aStream.
  321.     anIndex printOn: aStream.
  322.     ']: ' printOn: aStream.
  323.     byte < 95 ifTrue:
  324.     [ self printIndexedAt: anIndex on: aStream ].
  325.     (byte between: 96 and: 111) ifTrue:
  326.     [ self emitSimplePop: byte on: aStream ].
  327.     (byte between: 112 and: 125) ifTrue: 
  328.     [ self emitBuiltin: byte on: aStream ].
  329.     "127 is the debugger breakpoint and we don't get it here"
  330.     byte == 128 ifTrue: 
  331.     [ skip _ 2.
  332.       self print2BytePush: (self bytecodeAt: anIndex + 1) on: aStream ].
  333.     byte == 129 ifTrue: 
  334.     [ skip _ 2.
  335.       self print2ByteStackOp: 'store' at: anIndex on: aStream ].
  336.     byte == 130 ifTrue: 
  337.     [ skip _ 2.
  338.       self print2ByteStackOp: 'pop and store' at: anIndex on: aStream ].
  339.     (byte between: 131 and: 134) ifTrue: 
  340.     [ skip _ self emitIndexedSend: anIndex on: aStream ].
  341.     byte == 135 ifTrue:
  342.     [ 'pop stack top ' printOn: aStream ].
  343.     byte == 136 ifTrue:
  344.     [ 'duplicate stack top' printOn: aStream ].
  345.     byte == 137 ifTrue: 
  346.     [ 'push current context' printOn: aStream ].
  347.     (byte between: 138 and: 143) ifTrue:
  348.     [ 'ILLEGAL bytecode ' printOn: aStream.
  349.       byte printOn: aStream ].
  350.     (byte between: 144 and: 175) ifTrue:
  351.     [ skip _ self printJump: anIndex on: aStream ].
  352.     (byte between: 176 and: 191) ifTrue:
  353.     [ 'send arithmetic message "' printOn: aStream.
  354.       (#(+            -           <            >
  355.          <=         >=          =            ~=
  356.          *            /           \\            @
  357.          bitShift:    //          bitAnd:     bitOr:)
  358.            at: (byte bitAnd: 15) + 1) printOn: aStream.
  359.       '"' printOn: aStream ].
  360.     (byte between: 192 and: 207) ifTrue:
  361.     [ 'send special message "' printOn: aStream.
  362.       (#(at:        at:put:        size        next
  363.             nextPut:    atEnd        ==            class
  364.             blockCopy:    value        value:      do:
  365.         new            new:        x            y)
  366.            at: (byte bitAnd: 15) + 1) printOn: aStream.
  367.       '"' printOn: aStream ].
  368.     (byte between: 208 and: 255) ifTrue:
  369.     [ self printSmallArgSend: byte on: aStream ].
  370.     aStream nextPut: (Character nl).
  371.     ^skip
  372. !    
  373.  
  374. printIndexedAt: anIndex on: aStream
  375.     | byte index |
  376.     byte _ self bytecodeAt: anIndex.
  377.     byte <= 15 ifTrue:
  378.         [ ^self pushIndexed: 'Instance Variable' 
  379.         withIndex: (byte bitAnd: 15)
  380.         on: aStream ].
  381.     byte <= 31 ifTrue:
  382.     [ ^self pushIndexed: 'Temporary'
  383.         withIndex: (byte bitAnd: 15)
  384.         on: aStream ].
  385.     byte <= 63 ifTrue:
  386.     [ ^self pushIndexed: 'Literal'
  387.         withIndex: (byte bitAnd: 31)
  388.         on: aStream ].
  389.  
  390.     " >= 64 case here "
  391.     'push Global Variable[' printOn: aStream.
  392.     (byte bitAnd: 31) printOn: aStream.
  393.     '] = ' printOn: aStream.
  394.     self printAssociationKeyFor: (byte bitAnd: 31) on: aStream
  395. !
  396.  
  397. pushIndexed: indexLabel withIndex: anIndex on: aStream
  398.     'push ' printOn: aStream.
  399.     indexLabel printOn: aStream.
  400.     '[' printOn: aStream.
  401.     anIndex printOn: aStream.
  402.     ']' printOn: aStream
  403. !
  404.  
  405. emitSimplePop: byte on: aStream
  406.     (byte between: 96 and: 103) ifTrue:
  407.     [ aStream nextPutAll: 'pop and store instance variable['.
  408.       (byte bitAnd: 7) printOn: aStream.
  409.       aStream nextPut: $] ].
  410.     (byte between: 104 and: 111) ifTrue:
  411.     [ aStream nextPutAll: 'pop and store Temporary['.
  412.       (byte bitAnd: 7) printOn: aStream.
  413.       aStream nextPut: $] ].
  414. !
  415.  
  416. emitBuiltin: byte on: aStream
  417.     byte == 112 ifTrue: [ 'push self' printOn: aStream ].
  418.     byte == 113 ifTrue: [ 'push true' printOn: aStream ].
  419.     byte == 114 ifTrue: [ 'push false' printOn: aStream ].
  420.     byte == 115 ifTrue: [ 'push nil' printOn: aStream ].
  421.     byte == 116 ifTrue: [ 'push -1' printOn: aStream ].
  422.     byte == 117 ifTrue: [ 'push 0' printOn: aStream ].
  423.     byte == 118 ifTrue: [ 'push 1' printOn: aStream ].
  424.     byte == 119 ifTrue: [ 'push 2' printOn: aStream ].
  425.     byte == 120 ifTrue: [ 'return self' printOn: aStream ].
  426.     byte == 121 ifTrue: [ 'return true' printOn: aStream ].
  427.     byte == 122 ifTrue: [ 'return false' printOn: aStream ].
  428.     byte == 123 ifTrue: [ 'return nil' printOn: aStream ].
  429.     byte == 124 ifTrue: [ 'return Message stack top' printOn: aStream ].
  430.     byte == 125 ifTrue: [ 'return Block stack top' printOn: aStream ].
  431.     byte == 126 ifTrue: [ '### ILLEGAL BYTE CODE 126 ###' printOn: aStream ].
  432. !
  433.  
  434. print2BytePush: byte on: aStream
  435.     self printIndexedPush: (byte bitAnd: 63)
  436.      type: (byte bitShift: -6)
  437.      on: aStream
  438. !
  439.  
  440. printIndexedPush: index type: typeIndex on: aStream
  441.     | typeName |
  442.     typeName _ self indexedLocationName: typeIndex.
  443.     'push ' , typeName , '[' printOn: aStream.
  444.     index printOn: aStream.
  445.     ']' printOn: aStream.
  446.     typeIndex = 3 ifTrue:
  447.     [ ' = ' printOn: aStream.
  448.       self printAssociationKeyFor: index
  449.            on: aStream ]
  450. !
  451.  
  452. indexedLocationName: locIndex
  453.     ^#('Instance Variable' 'Temporary' 'Literal' 'Global Variable')
  454.     at: locIndex + 1
  455. !
  456.  
  457. print2ByteStackOp: opName at: anIndex on: aStream
  458.     | nextByte locationName locIndex |
  459.     nextByte _ self bytecodeAt: anIndex + 1.
  460.     locIndex _ nextByte bitShift: -6.
  461.     locationName _ self indexedLocationName: locIndex.
  462.     locIndex == 2 ifTrue: [ 'ILLEGAL ' printOn: aStream ].
  463.     opName , locationName , '[' printOn: aStream.
  464.     (nextByte bitAnd: 63) printOn: aStream.
  465.     ']' printOn: aStream.
  466.     locIndex == 3 ifTrue:
  467.     [ ' = ' printOn: aStream.
  468.       self printAssociationKeyFor: (nextByte bitAnd: 63) on: aStream ]
  469. !
  470.  
  471. emitIndexedSend: anIndex on: aStream
  472.     | byte byte1 byte2 toSuper |
  473.     byte _ self bytecodeAt: anIndex.
  474.     byte _ byte - 131.        "transform to 0..3"
  475.     byte <= 1 ifTrue: [ toSuper _ '' ]
  476.           ifFalse: [ toSuper _ 'to Super ' ].
  477.     (byte == 0) | (byte == 2)
  478.     ifTrue:
  479.         [ byte1 _ self bytecodeAt: anIndex + 1.
  480.           self emitGenericSend: toSuper index: (byte1 bitAnd: 31)
  481.            args: (byte1 bitShift: -5) on: aStream.
  482.           ^2 ]
  483.     ifFalse:
  484.         [ byte1 _ self bytecodeAt: anIndex + 1.
  485.           byte2 _ self bytecodeAt: anIndex + 2.
  486.           self emitGenericSend: toSuper index: byte2
  487.            args: byte1 on: aStream.
  488.           ^3]
  489. !
  490.  
  491.  
  492. emitGenericSend: toSuper index: anIndex args: numArgs on: aStream
  493.     'send ' , toSuper , 'selector ' printOn: aStream.
  494.     anIndex printOn: aStream.
  495.     ', ' printOn: aStream.
  496.     numArgs printOn: aStream.
  497.     ' args = ' printOn: aStream.
  498.     self printLiteralSymbolAt: anIndex on: aStream
  499. !
  500.  
  501. printJump: anIndex on: aStream
  502.     | byte |
  503.     byte _ self bytecodeAt: anIndex.
  504.     byte <= 151 ifTrue:
  505.     [ 'jump to ' printOn: aStream.
  506.       ((byte bitAnd: 7) + anIndex + 1 + 1 ) printOn: aStream.
  507.       ^1 ].
  508.     byte <= 159 ifTrue:
  509.     [ 'jump to ' printOn: aStream.
  510.       ((byte bitAnd: 7) + anIndex + 1 + 1 ) printOn: aStream.
  511.       ' if false' printOn: aStream.
  512.       ^1 ].
  513.     byte <= 167 ifTrue:
  514.     [ 'jump to ' printOn: aStream.
  515.       (((byte bitAnd: 7) - 4) * 256 + (self bytecodeAt: anIndex + 1)
  516.           + anIndex + 2) printOn: aStream.
  517.       ^2 ].
  518.     byte <= 171 ifTrue:
  519.     [ 'pop and jump to ' printOn: aStream.
  520.       ((byte bitAnd: 3) * 256 + (self bytecodeAt: anIndex + 1)
  521.           + anIndex + 2) printOn: aStream.
  522.       ' if true' printOn: aStream.
  523.       ^2 ].
  524.     byte <= 175 ifTrue:
  525.     [ 'pop and jump to ' printOn: aStream.
  526.       ((byte bitAnd: 3) * 256 + (self bytecodeAt: anIndex + 1)
  527.           + anIndex + 2) printOn: aStream.
  528.       ' if false' printOn: aStream.
  529.       ^2 ]
  530. !
  531.  
  532. printSmallArgSend: byte on: aStream
  533.     | numArgs |
  534.     byte _ byte - 208.
  535.     numArgs _ byte // 16.
  536.     'send selector ' printOn: aStream.
  537.     (byte bitAnd: 15) printOn: aStream.
  538.     ', ' printOn: aStream.
  539.     numArgs printOn: aStream.
  540.     numArgs == 1 
  541.     ifTrue: [ ' arg' printOn: aStream ]
  542.     ifFalse: [ ' args' printOn: aStream ].
  543.     ' = ' printOn: aStream.
  544.     self printLiteralSymbolAt: (byte bitAnd: 15) on: aStream
  545. !
  546.  
  547. printAssociationKeyFor: anIndex on: aStream
  548.     | assoc |
  549.     assoc _ self literalAt: anIndex + 1.
  550.     assoc key printOn: aStream
  551. !
  552.  
  553. printLiteralSymbolAt: anIndex on: aStream
  554.     (self literalAt: anIndex + 1) printOn: aStream
  555. !
  556.  
  557. getDescriptor
  558.     ^descriptor
  559. !
  560.  
  561. getHeader
  562.     ^methodHeader
  563. !
  564.  
  565. literalAt: anIndex
  566.     ^self objectAt: (anIndex + 2)
  567. !
  568.  
  569. literalAt: anInteger put: aValue
  570.     self objectAt: anInteger + 2 put: aValue
  571. !
  572.  
  573. numBytecodes
  574.     ^(self basicSize) - (self bytecodeStart)
  575. !
  576.  
  577. bytecodeAt: anIndex
  578.     ^self basicAt: (anIndex + self bytecodeStart)
  579. !
  580.  
  581. bytecodeAt: anIndex put: aValue
  582.     ^self basicAt: (anIndex + self bytecodeStart) put: aValue
  583. !
  584.  
  585. bytecodeStart
  586.     ^4 * self numLiterals
  587. !!
  588.